Computing Invariants with Transformers: Experimental Scalability and Accuracy
نویسندگان
چکیده
منابع مشابه
Computing Invariants with Transformers: Experimental Scalability and Accuracy
Using abstract interpretation, invariants are usually obtained by solving iteratively a system of equations linking preconditions according to program statements. However, it is also possible to abstract first the statements as transformers, and then propagate the preconditions using the transformers. The second approach is modular because procedures and loops can be abstracted once and for all...
متن کاملComputing with Matrix Invariants
This is an improved version of the talk of the author given at the Antalya Algebra Days VII on May 21, 2005. We present an introduction to the theory of the invariants under the action of GLn(C) by simultaneous conjugation of d matrices of size n × n. Then we survey some results, old or recent, obtained by a dozen of mathematicians, on minimal sets of generators, the defining relations of the a...
متن کاملAn experimental comparison of five prioritization methods - Investigating ease of use , accuracy and scalability
.......................................................................................................................................... III ACKNOWLEDGEMENTS ...................................................................................................................V TABLE OF CONTENTS .........................................................................................................
متن کاملComputing polynomial program invariants
Invariants and intermediate assertions are the key to deductive verification of programs. Correspondingly, techniques for automatically checking and finding invariants and intermediate assertions have been studied (cf., e.g., [4, 3]). In this paper we present analyses that check and find valid polynomial relations in programs. A polynomial relation is a formula p(x1, . . . ,xk) = 0 where p(x1, ...
متن کاملImproving Current and Voltage Transformers Accuracy Using Artificial Neural Network
Capacitive Voltage Transformers (CVTs) and Current Transformers (CTs) are commonly used in high voltage (HV) and extra high voltage (EHV) systems to provide signals for protecting and measuring devices. Transient response of CTs and CVTs could lead to relay mal-operation. To avoid these phenomena, this paper proposes an artificial neural network (ANN) method to correct CTs and CVTs secondary wa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2014
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2014.08.003